Requirements Model for Cyber-Physical System
نویسندگان
چکیده
The development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating conflict requirements and merged redundant/common requirements lead a challenging task at the elicitation phase in the requirements engineering process for CPS. Collecting and optimizing requirements through appropriate process reduce both development time and cost as every functional requirement gets refined and optimized at very first stage (requirements elicitation phase) of the whole development process. Existing researches have focused on requirements those have already been collected. However, none of the researches have worked on how the requirements are collected and refined. This paper provides a requirements model for CPS that gives a direction about the requirements be gathered, refined and cluster in order to developing the CPS independently. The paper also shows a case study about the application of the proposed model to transport system.
منابع مشابه
Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems
Gathering and analyzing Cyber-Physical System (CPS) requirements pose some challenges to the requirements engineering community warranting a fresh perspective on requirement engineering methods; a perspective that is sensitive to the interplay between the cyber and physical aspects of the system. In this paper we share our experiences and lessons learned in the process of formulating requiremen...
متن کاملModel-Based Prototype Development to Support Early Validation of Cyber-Physical System Specifications
[Motivation] In the engineering of cyber-physical systems, attention is given to early validation of requirements artifacts. The use of prototypes is one known technique to identify incorrectness and aberrations from the stakeholder intentions early. [Problem] Software prototypes of cyber-physical systems’ software, however, often need to be adapted to the prototype’s hardware, which may differ...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملTraceability of Information Flow Requirements in Cyber-Physical Systems Engineering
The secure information flow between a cyber-physical system and its environment has evolved into a critical factor. To comply with security regulations, engineers of cyber-physical systems need to trace information flow requirements from their specification to the software design. However, due to the interdisciplinary engineering of cyber-physical systems and their inherent real-time behavior, ...
متن کاملRequired Changes in Requirements Engineering Approaches for Socio-Cyber-Physical Systems
Requirements engineering has been mainly focused on software development, which represents relatively homogenous, stable and predictable cyber space. But even there, problems in requirements (e.g., changing, missing or irrelevant requirements) are considered as main reasons for project failure. Entering a new era of socio-cyber-physical systems, which are complex, heterogeneous systems of syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1705.03095 شماره
صفحات -
تاریخ انتشار 2017